Sensing God’s Will is Fixed Parameter Tractable
نویسندگان
چکیده
One of the goals of Artificial Intelligence is to create autonomous software agents which exhibit social intelligence, i.e are capable to act as a group member in various groups and, in particular, to participate in group decision making. For such agents to be programmed we need protocols which are formalizable. In this paper we are suggesting such a protocol based on one of the most famous and controversial social choice rules Dodgson’s rule. We prove that the problem of implementation of this protocol is fixed parameter tractable.
منابع مشابه
On the computational complexity of finding a minimal basis for the guess and determine attack
Guess-and-determine attack is one of the general attacks on stream ciphers. It is a common cryptanalysis tool for evaluating security of stream ciphers. The effectiveness of this attack is based on the number of unknown bits which will be guessed by the attacker to break the cryptosystem. In this work, we present a relation between the minimum numbers of the guessed bits and uniquely restricted...
متن کاملExact Algorithms for Generalizations of Vertex Cover
The NP-complete Vertex Cover problem has been intensively studied in the field of parameterized complexity theory. However, there exists only little work concerning important generalizations of Vertex Cover like Partial Vertex Cover, Connected Vertex Cover, and Capacitated Vertex Cover which are of high interest in theory as well as in real-world applications. So far research was mainly focused...
متن کاملHuge tables are fixed parameter tractable via unimodular integer Caratheodory
The three-way table problem is to decide if there exists an l × m × n table satisfying given line sums, and find a table if yes. Recently, it was shown to be fixed-parameter tractable with parameters l, m. Here we extend this and show that the huge version of the problem, where the variable side n is encoded in binary, is also fixed-parameter tractable with parameters l, m. We also conclude tha...
متن کاملGraph isomorphism parameterized by feedback vertex set number is fixed-parameter tractable
We prove that the Graph Isomorphism problem is fixed-parameter tractable when parameterized by the feedback vertex set number. That parameter is defined as the number of vertex deletions required to obtain a forest. For graphs of bounded feedback vertex set number the presented algorithm runs in time O(n), and is thereby the first fixed-parameter tractable Graph Isomorphism algorithm for a non-...
متن کاملCrossing Minimization for 1-page and 2-page Drawings of Graphs with Bounded Treewidth
We investigate crossing minimization for 1-page and 2-page book drawings. We show that computing the 1-page crossing number is fixed-parameter tractable with respect to the number of crossings, that testing 2-page planarity is fixed-parameter tractable with respect to treewidth, and that computing the 2-page crossing number is fixed-parameter tractable with respect to the sum of the number of c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008